{ pkgs, ... }:
{
  console.font = "${pkgs.terminus_font}/share/consolefonts/ter-u28n.psf.gz";
  services.xserver.dpi = 192;
  environment.variables.GDK_SCALE = "2";
  environment.variables.GDK_DPI_SCALE = "0.5";
  environment.variables._JAVA_OPTIONS = "-Dsun.java2d.uiScale=2";
}
